A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models

Physical systems are by nature continuous but often exhibit nonlinearities that make behavior generation complex and hard to analyze Complexity is often reduced by linearizing model constraints and by ab stracting the time scale for behavior generation In either case the physical components are modeled to operate in multiple modes with abrupt changes be tween modes This paper discusses a hybrid model ing methodology and analysis algorithms that combine continuous energy ow modeling and localized discrete signal ow modeling to generate complex multi mode behavior in a consistent and correct manner Energy phase space analysis is employed to demonstrate the correctness of the algorithm and the reachability of a continuous mode